1) Montrer que `( forall n in N ) : a_n <= 5 `
1) Montrer que `( forall n in N ) : 2 <= b_n `
2) Montrer que `( forall n in N ) : 0 <= c_n <= 1 `